paramodulation and set
Information about AI from the News, Publications, and Conferences
Automatic Classification – Tagging and Summarization – Customizable Filtering and Analysis
If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
Paramodulation and set of support
Work performed under the auspices of the U. S. Atomic Energy Commission. To view the rest of this content please follow the download PDF link above.
Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.40)